home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tdbglossary.mail / 000009_curtis _Fri Aug 27 10:18:13 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  5KB
  1. Received: from avenir.CS.Arizona.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2.     id AA28420; Fri, 27 Aug 1993 10:18:15 MST
  3. From: "Curtis E. Dyreson" <curtis>
  4. Message-Id: <199308271718.AA00914@avenir.cs.arizona.edu>
  5. Received: by avenir.cs.arizona.edu; Fri, 27 Aug 1993 10:18:14 MST
  6. Subject: Suggestions for consGlos
  7. To: tdbglossary
  8. Date: Fri, 27 Aug 1993 10:18:13 -0700 (MST)
  9. X-Mailer: ELM [version 2.4 PL22]
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=US-ASCII
  12. Content-Transfer-Encoding: 7bit
  13. Content-Length: 4197      
  14.  
  15. Just a few minor suggestions for the current glossary version.
  16.  
  17. > \entry{Instant}{instant}
  18. > 
  19. > \epart{Definition}
  20. > 
  21. > An {\em instant\/} is a time point of infinitesimal duration. 
  22. > 
  23. > \epart{Explanation}
  24. > 
  25. > The concept of an instant derives from a perception of time as being
  26. > continuous. The time domain is perceived to be isomorphic to the real
  27. > numbers. Thus, an instant is the temporal counterpart of a real
  28. > number.
  29. > 
  30. > In a data model that supports a time line using \ic{chronons}
  31. > (isomorphic to the natural numbers or a subset thereof), an instant is
  32. > represented by a chronon. A single chronon may therefore represent
  33. > multiple instants.
  34. > 
  35.  
  36. PROBLEM: The concept of instant is unnecessarily linked to the 
  37. continuous model of time.  A researcher using a discrete model 
  38. of time at the "conceptual" level does not have any time points of
  39. infinitesimal duration, hence cannot refer to "instants" (as defined)
  40. in her data model.  I am assuming that the ability to refer to 
  41. time points in a model of time (be that model discrete, continuous, or dense)
  42. is of some "conceptual" utility.  Currently there is no other proposed term
  43. that captures this notion (a chronon is defined in terms of a time 
  44. interval which in turn uses the concept of instant).
  45.  
  46. PROPOSAL: Replace with the following.
  47.  
  48. \entry{Instant}{instant}
  49.  
  50. \epart{Definition}
  51.  
  52. An {\em instant\/} is a time point on an underlying time axis.
  53.  
  54. \epart{Explanation}
  55.  
  56. Various models of time have been proposed in the philosophical and
  57. logical literature of time (e.g., van Benthem). These view time, among
  58. other things, as discrete, dense, or continuous. Intuitively, the instants
  59. in a discrete model of time are isomorphic to the natural numbers, i.e., 
  60. there is the notion that every instant has a unique successor. 
  61. Instants in the dense model of time are isomorphic to (either) the 
  62. real or rational numbers: between any two instants there is always another.
  63. Continuous models of time are isomorphic to the real numbers, i.e.,
  64. both dense and also, unlike the rational numbers, with no ``gaps.''
  65.  
  66. In a data model that supports a time line using \ic{chronons}
  67. (isomorphic to the natural numbers or a subset thereof), an instant is
  68. represented by a chronon. A single chronon may therefore represent
  69. multiple instants.
  70.  
  71. > \entry{Chronon}{chronon}
  72. > 
  73. > \epart{Definition}
  74. > 
  75. > In a data model, a one-dimensional {\em chronon} is a non-decomposable
  76. > \ic{time interval} of some fixed, minimal duration.  An
  77. > $n$-dimensional chronon is a non-decomposable region in
  78. > $n$-dimensional time. Important special types of chronons include
  79. > \ic{valid-time}, \ic{transaction-time}, and \ic{bitemporal} chronons.
  80. > 
  81. > \epart{Explanation}
  82. > 
  83. > Data models may represent a time line by a sequence of
  84. > non-decomposable, consecutive time intervals of identical duration.
  85. > These intervals are termed chronons. A data model will typically leave
  86. > the particular chronon duration unspecified, to be fixed later by the
  87. > individual applications, within the restrictions posed by the
  88. > implementation of the data model.
  89. > 
  90. > Various models of time have been proposed in the philosophical and
  91. > logical literature of time (e.g., van Benthem). These view time, among
  92. > other things, as discrete, dense, or continuous. Intuitively, discrete
  93. > models of time are isomorphic to the natural numbers, i.e., there is
  94. > the notion that every moment of time has a unique successor. Dense
  95. > models of time are isomorphic to (either) the real or rational
  96. > numbers: between any two moments of time there is always another.
  97. > Continuous models of time are isomorphic to the real numbers, i.e.,
  98. > both dense and also, unlike the rational numbers, with no ``gaps.''
  99. > 
  100.  
  101. PROBLEM: Second paragraph in the explanation doesn't mention chronon, 
  102. nor does it appear to explain chronon at all, although it is a useful
  103. explanation of the three models of time.
  104.  
  105. PROPOSAL: Remove it (by moving to instant where it does belong!).
  106.  
  107. > \entry{Upper Support Chronon}{upper support chronon}
  108. > \entry{Lower Support Chronon}{lower support chronon}
  109.  
  110. PROBLEM: As indeterminate event is undefined, these definitions should
  111. be removed.
  112.  
  113. PROPOSAL: Remove them.
  114.  
  115. Curtis Dyreson